Str.toU64("123",) |> try
